Efficient Fully Secure Computation Via Distributed Zero-Knowledge Proofs